Tham khảo Logic hình thức

    • Aristoteles: Lehre vom Schlusz oder erste Analytik. 3. Auflage. Meiner, Hamburg 1922, ISBN 3-7873-1092-4
    • Donald W Barnes, John M. Mack: An Algebraic Introduction to Mathematical Logic. Springer, Berlin 1975, ISBN 3-540-90109-4.
    • Johnson/Mowry: "Mathematics: a Practical Odyssey"; Nhà xuất bản Thomson 2004 (in lần thứ năm).